『実務家のための形式手法 厳密な仕様記述を志すための形式手法入門 第二版 形式手法導入に関わるガイダンス』